Jump to content

File:First-order logic.png

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

Original file (2,094 × 510 pixels, file size: 332 KB, MIME type: image/png)

Summary

Description
English: Example of formalizing an English sentence into first-order logic.
Date
Source Own work
Author GuineaPigC77
This image could be re-created using vector graphics as an SVG file. This has several advantages; see Commons:Media for cleanup for more information. If an SVG form of this image is available, please upload it and afterwards replace this template with {{vector version available|new image name}}.


It is recommended to name the SVG file “First-order logic.svg”—then the template Vector version available (or Vva) does not need the new image name parameter.

Licensing

I, the copyright holder of this work, hereby publish it under the following license:
w:en:Creative Commons
attribution share alike
This file is licensed under the Creative Commons Attribution-Share Alike 4.0 International license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
  • share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.

Captions

Example of formalizing an English sentence into first-order logic.

Items portrayed in this file

depicts

27 September 2022

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current16:59, 27 September 2022Thumbnail for version as of 16:59, 27 September 20222,094 × 510 (332 KB)GuineaPigC77Uploaded own work with UploadWizard

The following 2 pages use this file:

Global file usage

The following other wikis use this file:

Metadata