File:Predicate logic; 3 variables; a1e2a3.png

From Wikiversity
Jump to navigation Jump to search

Original file ‎(1,074 × 1,074 pixels, file size: 144 KB, MIME type: image/png)

This is a file from the Wikimedia Commons. The description on its description page there is shown below.

Commons is a freely licensed media file repository. You can help.

Summary

Description

Four different representations of a 3-place formula in predicate logic

Compare these four Hasse diagrams:

Sketches
Ordered partitions
Pairs as sketches
Pairs in triangular array
Date
Source Own work
Author
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Permission
(Reusing this file)
Public domain I, the copyright holder of this work, release this work into the public domain. This applies worldwide.
In some countries this may not be legally possible; if so:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

File history

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

Date/TimeThumbnailDimensionsUserComment
current14:12, 7 April 2014Thumbnail for version as of 14:12, 7 April 20141,074 × 1,074 (144 KB)Watchducklayout
20:30, 3 December 2013Thumbnail for version as of 20:30, 3 December 20131,000 × 1,000 (99 KB)WatchduckUser created page with UploadWizard

The following page uses this file:

Metadata

This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.

If the file has been modified from its original state, some details may not fully reflect the modified file.

Retrieved from "https://en.wikiversity.org/wiki/File:Predicate_logic;_3_variables;_a1e2a3.png"